lim to infinity (1/2)^x